A quantitative software testing method for hardware and software integrated systems in safety critical applications
نویسندگان
چکیده
Most of today’s Safety Instrumented Systems (SIS) are hardware and software integrated systems. In these systems, failures can occur in both hardware and software. Hardware failures and their effects have been studied extensively in the literature. However, the methods and results dealing with hardware failure are not directly applicable for software reliability modeling, due to the difference of nature between hardware and software. This is especially of concern when the SIS is used for safety critical applications. In this paper, a hardware and software integrated reliability model is proposed to model the reliability of the integrated system. The requirement on software reliability is then determined based on the hardware reliability and the requirement on the Safety Integrity Level (SIL) of the integrated system. Following this, a Bayesian stopping rule is used to determine the minimal number of successful software runs, in order to provide a certain level of confidence that the reliability requirement on the software is achieved.
منابع مشابه
Assessment and Monitoring for Railway Tracks Reliability and Safety using Nondestructive Testing Measurement Systems
The deterioration of railway tracks raises great concerns about the integrity of assessments and evaluations of railway tracks currently in service. Integrated inspection strategies coupled with innovations in inspection technology can lead to significant improvements in operational cost efficiency and reliability without the requirement of a fundamental shift in the existing understanding o...
متن کاملReliability Models for Hardware Description Languages in Safety Related Systems
For the development of Application Specific Integrated Circuits (ASICs) for safety-related applications Hardware Description Languages (HDLs) are used. The process of such development is presented in the international standard IEC 61508, which introduces guidelines and calculations to achieve a specific Safety Integrity Level (SIL). However, it is not concerning the estimation and calculation o...
متن کاملEffects of Mutation Testing on Safety Critical Software
For avionic systems, the safety requirements are stricter than for non-safety critical systems due to the severe consequences a failure could cause. Depending on the consequences of a failure, the software needs to fulfill different testing criterias. More critical software needs more extensive testing. The question is whether the extra testing activities performed for software of higher critic...
متن کاملJnting Models Nonerror - Counting Models Deterministic Bayesian Markov Deterministic Stochastic Bayesian
It is essential to assess the reliability of digital computer systems used for critical real-time control applications (e.g., nuclear power plant safety control systems). This involves the assessment of the design correctness of the combined hardware/software system as well as the reliability of the hardware. In this paper we survey methods of determining the design correctness of systems as ap...
متن کاملProposing an Efficient Software-based Method to Enhance Reliability of Computer Systems against Soft Errors
In recent years, along with rapid developments in technology, computer systems haveincreasingly become more integrated and more modular. Indeed, the reliability and efficiency ofcomputer systems are of high significance. Hence, the quantitative evaluation of the optimizationof reliability indexes in computer systems is considered to be a crucial issue. Reliabilityenhancement of computer systems...
متن کامل